大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Microprocessor Applications in Marine Control Systems (1980) 的图书(共10948本)

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure [electronic resource] : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

0
索取号：
作者：Herde、 Christian.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner, 2011.

Sensor-Actuator Supported Implicit Interaction in Driver Assistance Systems [electronic resource]

0
索取号：
作者：Riener、 Andreas.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner, 2010.

Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems [electronic resource]

0
索取号：
作者：Bartlang、 Udo.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner, 2010.

Security Engineering for Vehicular IT Systems [electronic resource] : Improving the Trustworthiness and Dependability of Automotive IT Applications

0
索取号：
作者：Wolf、 Marko.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner, 2009.

Spatial Awareness of Autonomous Embedded Systems [electronic resource]

0
索取号：
作者：Holzmann、 Clemens.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner, 2009.

Lectures on Algebraic Geometry I [electronic resource] : Sheaves, Cohomology of Sheaves, and Applications to Riemann Surfaces

0
索取号：
作者：Harder、 G眉nter.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner, 2007.

Lectures on Algebraic Geometry I [electronic resource] : Sheaves, Cohomology of Sheaves, and Applications to Riemann Surfaces

0
索取号：
作者：Harder、 G眉nter.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner Verlag, 2012.

Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control [electronic resource]

0
索取号：
作者：Kirches、 Christian.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner Verlag, 2011.

Information Flow Based Security Control Beyond RBAC [electronic resource] : How to enable fine-grained security policy enforcement in business processes beyond limitations of role-based access control (RBAC)

0
索取号：
作者：Fischer-Hellmann、 Klaus-Peter.、Bischoff、 Rainer.、SpringerLink (Online service)、
出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.

Frontiers in Statistical Quality Control 10 [electronic resource]

0
索取号：
作者：Lenz、 Hans-Joachim.、Schmid、 Wolfgang.、Wilrich、 Peter-Theodor.、SpringerLink (Online service)、
出版社：Heidelberg : Physica-Verlag HD : Imprint: Physica, 2012.

Information Systems: Crossroads for Organization, Management, Accounting and Engineering [electronic resource] : ItAIS: The Italian Association for Information Systems

0
索取号：
作者：De Marco、 Marco.、Te'eni、 Dov.、Albano、 Valentina.、Za、 Stefano.、SpringerLink (Online service)、
出版社：Heidelberg : Physica-Verlag HD : Imprint: Physica, 2012.

Theory-Guided Modeling and Empiricism in Information Systems Research [electronic resource]

0
索取号：
作者：Heinzl、 Armin.、Buxmann、 Peter.、Wendt、 Oliver.、Weitzel、 Tim.、SpringerLink (Online service)、
出版社：Heidelberg : Physica-Verlag HD, 2011.

Emerging Themes in Information Systems and Organization Studies [electronic resource]

0
索取号：
作者：Carugati、 Andrea.、Rossignoli、 Cecilia.、SpringerLink (Online service)、
出版社：Heidelberg : Physica-Verlag HD, 2011.

Information Technology and Innovation Trends in Organizations [electronic resource] : ItAIS: The Italian Association for Information Systems

0
索取号：
作者：D'Atri、 Alessandro.、Ferrara、 Maria.、George、 Joey F.、Spagnoletti、 Paolo.、SpringerLink (Online service)、
出版社：Heidelberg : Physica-Verlag HD, 2011.

Territorial Governance [electronic resource] : Local Development, Rural Areas and Agrofood Systems

0
索取号：
作者：Torre、 Andr茅.、Traversac、 Jean-Baptiste.、SpringerLink (Online service)、
出版社：Heidelberg : Physica-Verlag HD, 2011.

Management of the Interconnected World [electronic resource] : ItAIS: The Italian Association for Information Systems

0
索取号：
作者：D'Atri、 Alessandro.、De Marco、 Marco.、Braccini、 Alessio Maria.、Cabiddu、 Francesca.、SpringerLink (Online service)、
出版社：Heidelberg : Physica-Verlag HD, 2010.